Docker container issue

[lauratitolo]

After performing the following instructions:

$ docker build -t infer . --platform linux/amd64
$ docker run -it -v $PWD/../../examples:/infer-examples infer /bin/bash
$ cd /infer-examples/
$ infer -- clang -c hello.c

I get the following error:
root@1dade3209fb1:/# cd /infer-examples/ root@1dade3209fb1:/infer-examples# infer -- clang -c hello.c Capturing in make/cc mode... Found 1 source file to analyze in /infer-examples/infer-out Uncaught Internal Error: (Unix.Unix_error "No child processes" waitpid "((mode (WNOHANG)) (pid -1))") Error backtrace: Raised at Core__Core_unix.improve in file "src/core_unix.ml" (inlined), line 46, characters 4-43 Called from Core__Core_unix.wait_gen in file "src/core_unix.ml" (inlined), line 942, characters 4-246 Called from Core__Core_unix.wait_nohang in file "src/core_unix.ml" (inlined), line 979, characters 2-46 Called from IBase__ProcessPool.has_dead_child in file "src/base/ProcessPool.ml", line 194, characters 2-23 Called from Backend__InferAnalyze.analyze in file "src/backend/InferAnalyze.ml", line 200, characters 24-47 Called from Integration__Driver.execute_analyze.(fun) in file "src/integration/Driver.ml" (inlined), line 170, characters 2-34 Called from Backend__GCStats.log_f in file "src/backend/GCStats.ml" (inlined), line 90, characters 10-14 Called from Integration__Driver.execute_analyze in file "src/integration/Driver.ml", line 167, characters 2-239 Called from IBase__Utils.timeit in file "src/base/Utils.ml", line 429, characters 16-20 Called from IBase__ScubaLogging.execute_with_time_logging in file "src/base/ScubaLogging.ml" (inlined), line 79, characters 29-44 Called from Integration__Driver.analyze_and_report in file "src/integration/Driver.ml" (inlined), line 281, characters 2-144 Called from Dune__exe__Infer.run in file "src/infer.ml" (inlined), line 21, characters 2-47 Called from IBase__Utils.timeit in file "src/base/Utils.ml" (inlined), line 429, characters 16-20 Called from IBase__ScubaLogging.execute_with_time_logging in file "src/base/ScubaLogging.ml" (inlined), line 79, characters 29-44 Called from Dune__exe__Infer.run in file "src/infer.ml", line 25, characters 22-94

I am running it in an Apple M3 Max with macOS Sonoma 14.4. Docker version 27.5.1, build 9f9e405.